Fix for bug#225

1 job from bug#225 in 0 seconds (queued for 16 seconds)
Status Job ID Name Coverage
  External
passed jenkins

00:00:05