tidying up a tiny bit of cruft