Fixing small style issues with synthesis code