Bug fix in !seen