Version bump (0.8.3).