fixing a couple issues flagged by dart editor 1.4.2