small updates to documentation