[#6] Reverted type specification since the state modified is the implementer's.