Another minor bug