A correction to 09d92dab12

I misinterpreted the meaning of the "sign" method on literals.