Added some whitespaces to be consistent with the style of the rest of the code