Add suppress() and use it to fix #1 (and fix #3).