TRIVIAL: code formatting