Fix some issues but OrthogonalVectorQ still not working properly