Fix #794: avoid being too verbose in test suite