Fixes a minor issue