style fixes for 22102013