The previous fixes #1. This is a dummy changeset to close github issue #1 with commit message.