include repo language and fixup spec asserts