minor formatting bug for error reports