misc
added nicer output of false symbols