Remove obsolete PlinkDiff placeholder, and correct spacing