Maybe we should propose fix to rtfd style.