Small code-style and doc fix.