What is this comment here for?