Better version bounds