Joe Armstrong has died