It would be nice to have a comment at the top of this file explaining what it is for.