[archimedes]: Minor fixes