Fixed assertions