util fixes for rump