Missing specs for FileChecker