Minor fixes to the previous commits