Minor doc bugfix