make rst converter happy