fixed a warning due to wrong use of invalidation mechanism of workspace