Problem with translation and pagination

Hi,

I’m using this shortcode to split a page into multiple pages:

<!--nextpage-->

But I have a problem with the translation. I’m getting “Pages:” instead of “Páginas:” (I’m using a Spanish translation in wp-config.php).

I checked the translation website and that’s fine. Then I checked the post-template.php file and noticed there’s hardcoded text there in line 637:

'before' => '<p>' . __( 'Pages:' ),

I translated it right there to test it, but I keep getting it in english. How is that possible?

Any help is appreciated.

Thanks!