tophat-install: typos