Remove things accidentally added to the spec