minor style change;