Use __(), fixes #4865