Fixed bug for totally real fields.