Fixing symbols, hopefully.