made a small style change