Removing long-standing assv hack.

Fixes issue #242.