reactivate findbugs; fix identified warning (fix #4)