formatting change per Mike's review