A demonstration of a bug with core-warehouse