Hotfix for error introduced in #678