Fixes #890