This is added automatically by `php ulsdata2json.php`. It should have been added in #137, but for some reason wasn't.