Issue #118: small presentation fixes.