small correction to post "slightly wrong tools... for the right reasons"