Fix a couple of cosmetic errors in /seen