Couple of fixes to pulldevfrombeta.