Minor comment style fix.