fixed error in documentation; partially addresses #531