Remove synthesis tag and comment redirection