Use aluVector in some more places