[642] Minor tweak