#474: fix