Style nitpicking in doc