Added attributions, changed instruction formatting