Minor: code formatting