Concerning #566: Updated syntax of example