BUGFIX: Specifications must contain at least one variable; fixes #13