fix #1110

It's hacky, and maybe should get a different style, but I can't figure
out anything else that works...