Just a set of stuffs to get the riemann dash working