Fix build that was broken by a previous commit, HYP-8016

Signed-off-by: Angelika Tobisch <tobisch@dresearch-fe.de>