A little cosmetic fix for the previous commits