patch for github.(+levinsu)