re fixes #4