Correcting a typo in the javadoc of the constructor