Fix compile bug (ambiguity apparently due to some gcc 4.6 bug)