Resubmission of #823