For other's reference: This is here because there is a missing end comment. This was added to fix the issue