Fixed missing semicolon.
Debug for synthesis.