Slightly improve typesetting.