Fixing broken smoke test (it had a copy-paste mistake)