Fixed formatting; changed spec slightly