fix possible missing coverage