src/: format code.