Fix syntax in documentation as well