Minor change, re #4.