Also, and this is a pervasive problem that's more my fault than yours, but it might be nice to add some comments explaining why we're doing this.