Fixing constraint bug in rocket