A System File Checker Bug