fixed another stupid compilation bug