Wk1 w errors in spec