Minor change due to a possible type conflict