Accidentally omitted from 8d50b6f.