Minor change suggested by Tom.