Fixes unintentially reverted commit by Philipp Hancke 40af39a.