Minor compiler correction