Really fix version numbering (0.20)