Really minor style change