Specs, bugfixes, etc