Very sorry.  Pushed an old commit without including the fix.  Will correct it.