minor fixes for doc