fixes typo; #11