Minor change to remove redundancy