fix missing file
fix strictness test (hopefully)