> My df -k output doesn't show the swapfile though, but
> swapctl -l does. Is this correct?

Yes, this is correct. I can only take a stab at the why of your question -- 
I figure it's because swap isn't a true filesystem -- but I know that my 
machine is using the swap that only shows up as yours does. 

Alex Kirk