tiny fixes #3