Make spec more explicit