fixed #909

the problem is the editor. I changed it in a way that ```sizeof int```is now rendered as ```sizeof[int]``` which solves the problem