Fixed the silly <=  bug somebody saw during lecture.