Also try to make rst2man happy.