Small simplification to make the specification sequential
Merge pull request #1 from etorreborre/patch-1

Small simplification to make the specification sequential