added a couple of definitions