Fix previous commit: forgot one place to silence output.