minor spacing tweak nobody will notice