Fixing a little issue to make @fourq happy