Documentation nits