executability stuff for #140