change console.rb spec support annotations