Minor change to simplify 4