Got rid of some local details.