Serious bug fix in naive3.coffee