Formatting nitpicking

small style fix.