minor bugfix + repo sync