Fix minor error in docs