A workaround for dealing with #14