Fix mismatching vector type in AlignmentTest.cpp