Contrived example seems to be working