Very minor fixof quite large bug