Fair enough; I was mainly including it to make it easier for people reviewing this code. I'll remove it after reviews and such.