A couple of minor additions