Fixed minor bug in doc