Fix newly-broken javadocs