Small fixes before spring 2014 semester