Change suggested by @aseemr
Change suggested by @aseemr

See also https://github.com/FStarLang/FStar/commit/69a157aa05e4e2ffe27fd95f7908d1d9e189c870#r31513022

A-Manning/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,FStarLang/FStar