Prune dead code; typo fixes