fix for ucsd-progsys#256