Numerus javadoc typos.