fix #3982 (printf e/E failing)