quick change

Quick modification to better conform to the actual intentions.