Fixes that didn't get pushed when GitHub went down for maintenance