Workaround for a stupid problem