Minor change to conform to github's conventions.