Small fix of the phoenix dump files
Takes over !3578 (merged) after that one was reverted.
part of the set !3599 (merged) Rec!2927 (merged) Moore!1583 (merged)
Takes over !3578 (merged) after that one was reverted.
part of the set !3599 (merged) Rec!2927 (merged) Moore!1583 (merged)