a few more error-printing tweaks