bugfix for messed up symbols