Repair dist slightly broken by previous commit.