minor fix for Java annotation