Added Exit(), and changed some extension names.