I don't think we want to do this - see #906.