add Console.js and tweak some spec