Much cleaner platform-shortening