Fixed symbol definition to use the same symbol name as in the F# sources.