Fixed a typo in the topfile