Merged r13417 into 3.15 branch.

Quick fix for issue 2471.

R=jkummerow@chromium.org
BUG=v8:2471

Review URL: https://chromiumcodereview.appspot.com/12036010

git-svn-id: https://v8.googlecode.com/svn/branches/3.15@13446 ce2b1a6d-e550-0410-aec6-3dcde31c8c00