fixes #544