X should be of finite type.

Fixes #5.