fix prob with aliases for #728