I think it would be ok as well but it looks more to me like a matter of code style as i've encountered these all over the source.