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