small markup-fixes in documentation