It's not a hard and fast rule in any English dialect.  I always double-space after a full stop, but there are various style manuals that prohibit it, and others that require it.  Typesetters (amateur and professional) disagree intensely on it.  We should not change what the original author has done.