small fix (findbugs)