A minor potentially-to-be bug fix