fix velmax
non-niceprint