specification bugfix