Fix minor omissions