ok. if @ericf confirms, we can remove it.