Make trivial change to formatting