Fix the fix: slight accidental mistake