make coverage happy