Added a note pointing to a more recent modification of this file.
formatted code