minor doctag fix