Cleanup: coding standards, mostly.

Also removed a silly call to `unregister_widget` in the deactivation hook. If the code isn't there, the widget isn't registered. (facepalm)