Comment only: Correct mistakes/lazy typing.