Fixing minor build discrepancy