small updates to the documentation