Fixing line terminators in 002
Content for 003
Small fixes in 003
Adding cross-references induced by 003