minor fixes to paths accidentally introduced in #1020