Small fixes to improve clarity