[#517] Doc fix