a couple of small corrections