Small improvement to the state splitting section.