Minor stuff; comments, type hints.