Small documentation nits