Small bug that computes u_ao with the wrong sign when checking for sliding_left or sliding_right