doc fixes
release v5.1.3