Move 5c) to 5c+). Fixes issue #87.