3 ms·

I have no idea why you are being downvoted. You are entirely correct.

• anyfoo 4y ago
  Thanks, I was puzzled as well. The downvotes seem to have stopped, though.