Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
In practice it would not have caused problems since the 255 case is handled separately, but we may as well fix it.
- Loading branch information