Minimal adaptation of the documentation