Minor documentation cleanup