It would be nice to specify this expected format in one place (also at line 145 above).