Is this the correct translation?