re-implementes \ignore much simpler and more corrctly