small fix for .doc #112