Is the teacher's short selling still okay?