Minor F# fixes