Some source code formatting