fix typo

Author Martin Unkel <martin.unkel@rwth-aachen.de>
Author date 2018-11-23 13:15:49
Author local date 2018-11-23 14:15:49 +0100
Committer Martin Unkel <martin.unkel@rwth-aachen.de>
Committer date 2018-11-23 13:15:49
Committer local date 2018-11-23 14:15:49 +0100
Commit c0750edf84c1be8db18c4e283403a6dc7c998207
Tree 41d831c2ca1ce2a83fb0f55294367a7044ed5751
Parent c9521f400c16fbafcca318d1285f20db7324f24f
fix typo