Slight retouch of Rakefile