I keep overlooking the 6th star. And yes, it is not allowed in PR #257.