anchor.diff:      };
   
       system.defaults.dock.wvous-br-corner = mkOption {
  -      type = types.nullOr types.int;
  +      type = types.nullOr types.ints.positive;
         default = null;
         description = ''
           Hot corner action for bottom right corner. Valid values include:
  
positive.code:     };
  
      system.defaults.dock.wvous-bl-corner = mkOption {
        type = types.nullOr types.int;
        default = null;
        description = ''
          Hot corner action for bottom left corner. Valid values include:
  
negative.code:     };
  
      system.defaults.dock.wvous-tr-corner = mkOption {
        type = types.nullOr types.ints.positive;
        default = null;
        description = ''
          Hot corner action for top right corner. Valid values include:
  