Recent changes

Recent changes by Svoboda