Fix error in docs