Changed a few lines for publishing online