Small, practically irrelevant but logically incorrect bug fixed