Feature karma: removing a useless feature that I recently committed.