minor change of ordering