Documentation minor changes