Typos happen. I fixed /bug/big/ (I guess at the same time you responded), but didn't see "nothing" until after my edit link went away. You are correct in your i

Typos happen. I fixed /bug/big/ (I guess at the same time you responded), but didn't see "nothing" until after my edit link went away. You are correct in your interpretation.