Document fixes for #82, #119, #120