Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>
That is a more appropriate place for it.