closes SPARK-1544