Hmm, that comment got attached to the wrong line. I don't know where this was supposed to go now...