[#3665] Typos in Javadocs