Missing gettext at comments' date

Hello,

again many thaks to Anders Norén for this wonderful theme!

I detected a little bug: The date and time at each commant is not translatable because of a missing gettext function.

In line 383 of the functions.php you can replace

echo get_comment_date() . ' at ' . get_comment_time()

by

printf( __( '%1$s at %2$s', 'baskerville' ), get_comment_date(), get_comment_time() )

Then also this part is translatable … ??