I think our standard is to put a space before `:`