Fixing the documentation markup