DevTool: interface fixes