fixes #4. this is obvious...