Changed something in the documentation