fixing a minor build issue