[testing pull-request] Adding back whitespace that was removed accidentally before