Fixes #27: updated title