minor style (pedantic) change