Another small style change