Correct corner-dir-vecs in add-extension