F# syntax adjustments