re #9064 Fixed a const error