In add_ident we replace spaces with underscores; we should also do this for special characters if they arise.