Has short selling really been banned?