[archimedes]: Fixed previous workaround