Some small edits to the vectorization lab.