Remove default. Fixes #745