fixes #713,fixes #714