Fix TinyManagementTest to support test coverage measurement

The commit 96098a78d9ecfa612e9ffbb7bf05e5706783732d doesn't fix all
problems.