Fixing broken specs

Signed-off-by: Alan Gardner <alan@armoin.com>