Added an error message for when synthesis fails