some make-up to make Eclipse warnings happier