A minor bug