Bug fixes by specification