Revert "Ditch alias"

This reverts commit 6c844f305eea8dec7725e1303bbd5bc662d4ee21.