Assertions 4.3 and 5.3

Extra '&lt;' at beginning of line.