more accurate version bounds