Minor typos
Fixed protolib height typo