another minor and pedantic formatting fix