I added a comment making this explicit so it won't confuse anyone in the future. :)