Fix haddocks mentioning renamed 'times' function