Incompatible with #53, as you said