Make findbugs happy