fix 5.11, part c
add 5.12