these are defined but not used later on?