#248: fix fatal error