Как изменить размер шрифта в direct.label?

Я не могу изменить размер шрифта в графике ggplot2 direct.label (из пакета directlabels). Ниже приведен воспроизводимый пример — нет проблем с поворотом меток на 45 градусов, делая их полужирными, с засечками и прозрачными на 50% (все остальные аргументы в списке в конце кода ниже) — но я не могу контролировать размер шрифта. (Я действительно не хочу, чтобы их было 25, это просто для тестирования....)

Я что-то упустил или это ошибка?

library(ggplot2)
library(scales)
library(directlabels)
df <- data.frame(x = rnorm(26), y=rnorm(26), let=letters)
p <- ggplot(df, aes(x, y, color=let)) + geom_point() 
direct.label(p, 
    list("top.points", rot=45, fontsize=25, 
        fontface="bold", fontfamily="serif", alpha=0.5))