small updates in docs