CHANGE: rename src to thomas