tweaks
(#524)