I can’t reproduce the error, and for some reason now it works fine. I didn’t even restart my computer and did exactly the same thing. Not sure what the problem was; perhaps a bug in my computer.
Maybe we should still leave this closed question up here in case this happens to anyone else.
Thank you @junpenglao