There was a typo in a post that I edited here:
https://stackoverflow.com/a/29761801/3385432
(The number -1944
should have been -1943
as pointed out by a comment.)
The comment is now no longer needed. Flagging the comment doesn't seem appropriate. Is it possible to delete this comment since it is no longer needed?