workaround #553

workaround #553