Updated reference to mondebug. Fixes #144