more f# tweaks