deleted some comments
changed comment on FLINT ver