fixed link in rice's theorem post