Fixed assertions for sub-sections