put int Mike's suggestion
(#571)