Fixed bug in specs
Fixed variable numbering