fix these spurious errors I encountered...