Fix obf issue by copy-paste, closes #5