Don't show non-empty info boxes. Fixes #199.