update specs

update specs according to new syntaxic sugar.