Some minor edits and a link to typecasting