fix names of documentation targets