tiny fixes #2