another bugfix to avoid build-error