Clean up section about Noetherian local rings