Fix Bug #72