Removed no longer needed workaround

Ignore-this: 376181f8d83fe9fdc96ebfd4b30b5e6b

darcs-hash:20100914171229-b22ec-49ab677a04d3f52970f4b35970b2b358b7d4d694