Fixes #4556: Gii was incorrectly generating labels