Fix dehilighting. Closes #2.
Also deselect unconditionally.
Add debugging statements.