tiny intsy-wintsy fixes