Re-add an argument that disappeared

Fixes #3271