Small bug fixed in translator.