fix a minor thing

Signed-off-by: Jens Nyberg <jens.nyberg@gmail.com>