tiny javadoc fix
[de] avoid false alarm