This diff is outdated, even if github does not say so.