Workaround for #528