Minor change. Removed comma