![](https://secure.gravatar.com/avatar/4ecdc932663fb2bc14337f4516d53ed1.jpg?s=120&d=mm&r=g)
9 Jan
2019
9 Jan
'19
6:46 a.m.
You're right, my example was broken. With \stops it works as intended, as does your example. Thanks,