Fix the alias and, hopefully, CI