Replace a broken patch.

Sorry, the previous patch includes a garbage line.