FAIL! forgot to update check file for #85