don't change the spacing for this (and the example below).  We have consistent usage of " ; " throughout the source with spaces aroudn the ;.