typo

Signed-off-by: Juan Martin Runge <jmrunge@gmail.com>