still can' find a simple example of the bug I encountered yesterday