Cleaned up a minor style point