fixing whitespace

some whitespace was lost in a copypaste, fixing