Fix issue in previous commit when using the `synchronized/0` directive