Hi,
The ENABLE/DISABLE INTERRUPT are commands or directives for the actual compiler, they're not commands that gets exectuted when the PIC executes your code so it doesn't matter if there's a RETURN before the DISABLE INTERRUPT. Both of your example will produce the same result and the same code, there's no difference as far as I'm aware.

/Henrik.