Correct badge interface in workspace