oops, fix the ghci tag to handle ' in code