Suggestion from #11.