Small fix for previous commit on problem highlighting

Change-Id: I30e5af050f183d7ee0b8ce7a785e97f770e9a99f
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>