Update: is217hw3.jade, changed button type attributes