unique" on a flattened layout (some labels end up NULL and the NULL condition needs to be checked). Also remembered to update VERSION, which was missed on the last commit.