While most readers will probably guess correctly in this case, a header comment will leave no doubt as to what is intended.