minor edit to try to pin down a bug