Fix wrong paths introduced in last commit

Sorry, introduced wrong paths in the last commit. More coffee has already been administered.