Documentation

Small fixes.