[archimedes]: Minor server-side fix