Fix specs

by providing missing fact