fix problem #9