Fix another buglet in HsDoc stuff