fixed another compilation issue