Restore mistakenly-removed alias