Minor fixes

;)