trying to track down a bug, but things do seem to be working correctly.