Improved documentation markup (again)