removed the mention to the -Y dependent types option. fixes #254