fix a minor problem

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