In fact, you could just move the comment from line 115 up here. :-)