Fix previous commit

After midnight strange things happen.