Fix: a whitespace bug