doc/manual: fix formatting