Remove whitespace patch, noticed by landry@.