Fix copy/paste error

This amends commit b9a858317881315c52cd33c61d90b1e6c75156bd.