a little addition in translation...