Minor fixes in specs