Corrected syntax in documentation