no longer used
added missing
cosmetics: add space
typo in comment