fix a tiny style mistake