I’ve had the same error. Tried find any mentions on the bugs list but couldn’t find it. Maybe it hasn’t been reported yet. Seems harmless, but worth reporting regardless.
@Clodius, would you like to report it? Or should I?