kokopelli on "[Plugin: 404 Redirected] PHP / MySQL Error"

The "fix" does seem to prevent errors, but it also removes the 404 Redirected > TOOLS sub-menu in the backend. Any ideas?

Thanks

Edit: I just realized I still had V1.2 installed, therefore the mention above to editing different line numbers. If you apply the suggested fix to V1.3.2, the TOOLS menu doesn't disappear.