Minor tweak--no functional changes