minor changes for the documentation