Prevent duplicate screen names within a cinema (#1007).