us5250 - uncomment assertion