Minor change for #267