Small update pointed out by Jeff