minor change requested by Tobie that I missed in my previous mondo push