Another small fix for Submanga