Fix @ signs in Javadoc

40 is hexadecimal, not decimal.