Fix.

Signed-off-by: Markus Hubig <mhubig@gmail.com>