Fixing compilation problem due to lack of synthesized values