dehighlight selected, closes #17