Fixed minor documentation bug