Urgh. Amending r204968 which somehow missed this file!