Workaround for #1575