Small update to the documentation