@xiangli-cmu That was a pretty dumb mistake on my part. Thanks for fixing that. :)