fixes #637,fixes #638