This was forgotten in d3ddfa5

See also f9436dc