minor update: