Fixup to 5a922253.

Via:

    git grep '\([a-z]*\) := \1$'