Fix mistake in 0.10.0 migration guide. Closes #674.