Made FindBugs happy