Removes superfluous newline
Corrects defintion of subtype polymorphism