java highlight
minor fix