Fix a couple of bugs in MiniMaven

These bugs were detected by Jenkins, building Fiji-daily.