fixes #442