srcSpan output was made the same as in ghci