Fix wrong synthesis used in synthesis message