minor bug fixes and improvements to the howto