Removed informal comment