Bug in patch, actually fix #8