minor tweak to repr