deleted spurious comment