Fix details in the documentation