Adopt same formatting as in the rest of the repo