bugfix as recommended by findbugs