Yeah, that's just copypasta.  I'm going to change that as you recommend.