I think so. I copy-pasted that line :-)