Yet another style problem