bug: code coverage problem