Fixes incorrect symbols.

Fixes the clearly-wrong symbols from #4.
None of these are the 'long' versions. They're just the regular versions.