fixed issue #18

1 job for 3.5.1-dev
Status Job ID Name Coverage
  External
failed jenkins