fixes for valuations on rational function fields