fix mistake made when applying patch