Fix documentation in config for platform/2012.4.0.0.