Update documentation for work around for SPARK-1384