minor changes in proof stage