We should be able to remove this (we've just checked they're identical)