Fix mixup from recent commit
tree6571c7902db4058fd5c948182ae215972983766a
drwxr-xr-x - cegcc