small translation that was left out earlier