Fix silly print/printf bug and tweak error message