some missing stuff for solidEx