some back end code for #237