This return type, and many of the comments at the top of the file, are out of date.