Removed spurious comment