[#620] documentation fix