[TRIVIAL] Minor formatting changes [ci skip]