minor style change: lower case hex digits.