Fix 2014-01-30-pinging-computers.md.