repair header comments for AABox.*