fix a phpbb settings issue .