Mini fix for !seen