Fix Bug #80