Fixed a minor build warning