Small code fix