bugfixes for the specs