oops, bugfix for problem012