Minor change: get rid of an uncessary loop