bugfix for Specification