Tiny server-side fix.