Minor syntax adjustments. No change in functionality.