Minor doc fixes for issue #1533