Err, what's the point of this comment?