Fix bad version comparison when there is no patch number