Quick post-release fix (forgot to increase version)