fix spurious error I encountered...