Fix minor error in documentation