Cleaned up synthdeftools.