Adding hidden-print to a few places

This fixes #339.