Removed a workaround for a Mono bug that has apparently been fixed.