make jenkins happy
Merge pull request #15 from dbeck/master

make jenkins happy