Minor fixes after first release