Fixed bug and added an everything-specification.