Spurious comment removed