Fix some path infelicities