If it is defined here, I think it makes sense to document it as well.