As suggested by @stanhu here, we should timestamp the migration prior to 20171207150343, so that one doesn't mess up the labels in some cases.
20171207150343