Fix dumb alias