Tweak to the Jane Street indentation of "fun" starting a line.