* #14 seems to be g++ 4.8's bug