Fixed the verify step for dual-state modules