minor correction to #540