Fixed typo?

Signed-off-by: Alexander Kastius <alexander.kastius@student.hpi.uni-potsdam.de>