Fixes #544