Fix tracing-value after 'Gives:' is not printed (except an interactive shell).