I can't edit the original.

Tightened version has been put in the right place: https://news.ycombinator.com/item?id=6553774