fix(frontends/lean/server): cleanup info in modified line
fix(frontends/lean/server): cleanup info in modified line