You are right. Thanks!

P.S. I have edited your comment, the `Out[6]` output was there repeated twice.