update contributors, see #734