fix a broken patch, thanks to Giampaolo Mancini (closes #3462)