Minor improvements in specs