Make some more tiny edits, add alias