Tighten JavaDoc in Modulo97.java.