7319518f2c
This fixes trivial error in the documentation. Change-Id: I6586d25963b453fa6440426c8fc09e07a101f3b6 Signed-off-by: Tin <tin@irrational.io>