small change (actually Philipp's work)