seen: Make it case-insensitive