Also fixed in #4