[archimedes]: Minor change just in case