[archimedes]: Minor fix. Hopefully.