small corrections...