Fix issue accidentally introduced in #785