[*San/RTL] One more minor fix