Fix some minor problems
See merge request !1554 (merged)
Fixes the segfault in a Rec test (after Rec!1498 (merged))
(cherry picked from commit a686be89)
See merge request !1554 (merged)
Fixes the segfault in a Rec test (after Rec!1498 (merged))
(cherry picked from commit a686be89)