Title: Some notes on "Operational semantics for order-sorted algebra"