tiny docs nitpick