SERVER-16111 improve style