quick fix for windowId formatter