rm unused glossary entry

was #891