We disabled the plugin (Version 0.9.5.2 on WordPress 4.7.1) initially to correct the problem, and we modified Line 1244 (as recommended above).
However, we are unable to reactive the plugin. We receive a “Plugin activated.” message, but the plugin remains inactive.