A note on phase velocity of VLF radio waves