i'm going to close this PR, since it was fixed previously. Tomaz cleared up my understanding of the issue.