Minor F# fix