Minor, but crucial fix