I added a comment that explains this.