minor changes in declarations