minor fix to symbols
minor fix to symbols