Is this a bug?

[Dominik Smogór]

Hello everyone.
the following script:

BEGIN {RS="kk"}
{print}

eats up the last character from any file that doesn't end with \n and pastes 
endline character instead.

I'm not awk expert and I don't know if this is expected behaviour (at least 
not for me :) ).

I attached a test case.

Regards,
DS

ps. 
1. I ran gawk on an updated debian unstable using gawk 3.1.3, without any 
additional options.
2. In case it isn't a common practice on this list please CC me in the 
response.

eat.awk
Description: Text document

foo
Description: Text document