Fix issue #8

Do not translate this!