Fix a platform spec oops.