One more brief fix