Changes to fix issue793

Change-Id: I54281f8cccd2e9322c4a8f93a9aca573aea2c552
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/111
Reviewed-by: Till Westmann <westmann@gmail.com>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
2 files changed