get rid of unused identifiers

i doubt these functions will come useful later; but if so, this commit
may be undone.

also, harmonise whitespace.