fixed fsharpi error