fix mistaken document