Calculator spec fixed, now without bug :P