Minor bugs not picked up by github editor