fixup! Fix bug with missing fat arrow