doc/manual: fix code formatting.