Fixed another small bug with SEE