Yeah, you are right, those are equivalent :-)