Fixup the boxen support