add some missing definitions