Remove spurious comment