What is this comment for?