Fix 8e7be107a02ff1759399f90da0f3452e776dd8b9
Fix a typo in the filesystem