minor: fix code formatting (for pdf output)