updated, see #5