further typo/compilation fixes