fix bug in specs