small fix (but did it just to test git push :) )