Fix path forgotten in previous commit