Revert change to triple arrows