dubious tone for serious docs. pardon the nitpick.