I think it's worth having these comments in the source code.