Small change to trigger push.
Update deploy script as per bug 843216.