fixed directory names

nope, we haven’t been doing this for over a year… sorry!