Closes #84

Since the fix is pretty miniboxing-specific, I won't port this over
to specialization. Please let me know if this is necessary.