Fix some comments related to ## which doesn't work any more, now x23.