fix bugged vernumber