Fixed level numbering in program.fs