#16940: fix indentation in example.