make det happy (fix possible bug)