minor FindBugs fix