Comments: fixed bug on deletion caused by improperly attached fake highlight

This sorted out the priblem mentioned in the comments of #115.