Cured nasty bug involving + operator